<?php
/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
function double($obj)
{
    $obj->a = $obj-> a . $obj->a;
    $obj->b = $obj-> b . $obj->b;
    $obj->c = $obj-> c . $obj->c;
}
?>
